Section: Dissemination

Animation of the scientific community

• Pascal Fontaine co-chaired the program committee of PxTP 2011 and served on the program committee of ICTAC 2011. He is a member of an international working group designing the proof format for SMT solvers.

• Dominique Méry is

  • a member of the IFIP Working Group 1.3 on Foundations of System Specification,

  • the Head of the Doctoral School IAEM Lorraine for the four universities of Lorraine,

  • head of the Formal Methods department of the LORIA laboratory,

  • an expert for the French Ministry of Education (DS9),

  • an expert for the French Agence Nationale de la Recherche (ANR) and AERES.

  • the director of international affairs at ESIAL Nancy, and

  • the president of the APCB association.

  • He served on the program committees of ICFEM 2011 and FHIES 2011.

• The academic duties of Stephan Merz include:

  • member of the IFIP Working Group 2.2 on Formal Description of Programming Concepts,

  • elected member of the evaluation committee of INRIA (until summer 2011),

  • nominated member of the Section 7 of the Comité National de la Recherche Scientifique,

  • member of the hiring committees of chaires at Université Paris Dauphine and Télécom Paris Sud (president),

  • INRIA representative in the Scientific Directorate of the International Computer Science Meeting Center in Dagstuhl,

  • delegate for the organization of conferences at INRIA Nancy Grand-Est,

  • program committees ICFEM, SBMF, SEFM and SSS conferences, ATE, AVoCS, ICFEM, Refinement workshops, steering committees of AVoCS and IFM,

  • expert for the French Agence Nationale de la Recherche (ANR), AERES, the German DAAD, and the Canadian NSERC, and

  • PhD committees at Aalto University, Finland (report) and at ENS Cachan Bretagne (examiner).